1. Constructive Methods in Computing Science :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
2. Constructive methods in computing science : International Summer School
پدیدآورنده : directed by E. L. Bauer...]et al.[; edited by Manfred Broy
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing
رده :
QA
75
.
5
.
N383
1988
3. Control Flow and Data Flow:
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Microprogramming.
رده :
QA76
.
9
.
D5
E358
1986
4. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
9
.
D5
N375
1984
5. Engineering Theories of Software Intensive Systems
پدیدآورنده : \ Edited by Manfred Broy...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses. ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
6. Engineering methods and tools for software safety and security
پدیدآورنده : [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
7. Engineering methods and tools for software safety and security
پدیدآورنده : [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
8. Engineering theories of software construction
پدیدآورنده : / edited by Tony Hoare, Manfred Broy, and Ralf Steinbruggen
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : طراح‍ی س‍ی‍س‍ت‍م,ن‍رم اف‍زار -- مهندسی
رده :
QA
۷۶
/
۷۵۸
/
ال
ف
۸ ۱۳۸۰
9. Formal Methods in Programming and Their Applications :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
10. Logic of Programming and Calculi of Discrete Design :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
9
.
L63
E358
1987
11. Logic of programming and calculi of discrete design
پدیدآورنده : edited by Manfred Broy
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages
رده :
QA
267
.
3
.
N38
1986
12. Mathematical Methods in Program Development
پدیدآورنده : edited by Manfred Broy, Birgit Schieder.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
13. Models, algebras and logic of engineering software
پدیدآورنده : edited by Manfred Broy and Markus Pizka
کتابخانه: (طهران)
موضوع : Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
رده :
TA
345
.
N28
2002
14. Perspectives of System Informatics :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
15. Pioneers and Their Contributions to Software Engineering :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
16. Pioneers and Their Contributions to Software Engineering :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
2
.
A2
E358
2001
17. Program Construction :
پدیدآورنده : edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Programmation (Informatique)
رده :
QA76
.
6
E358
1979
18. Programming and Mathematical Method :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1992
19. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: (کرمان)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
20. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: (کرمان)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
